The canonical topology on a meet-semilattice
نویسنده
چکیده
Considering the lattice of properties of a physical system, it has been argued elsewhere that – to build a calculus of propositions having a well-behaved notion of disjunction (and implication) – one should consider a very particular frame completion of this lattice. We show that the pertinent frame completion is obtained as sheafification of the presheaves on the given meet-semilattice with respect to its canonical Grothendieck topology, an explicit description of which is easily given. Our conclusion is that there is an intrinsic categorical quality to the notion of “disjunction” in the context of property lattices of physical systems.
منابع مشابه
Lawson Topology in Continuous Lattices1
Let S, T be semilattices. Let us assume that if S is upper-bounded, then T is upper-bounded. A map from S into T is said to be a semilattice morphism from S into T if: (Def. 1) For every finite subset X of S holds it preserves inf of X . Let S, T be semilattices. Observe that every map from S into T which is meet-preserving is also monotone. Let S be a semilattice and let T be an upper-bounded ...
متن کاملUniformities and covering properties for partial frames (I)
Partial frames provide a rich context in which to do pointfree structured and unstructured topology. A small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. These axioms are sufficiently general to include as examples bounded distributive...
متن کاملLawson Topology in Continuous Lattices
Let S, T be semilattices. Let us assume that if S is upper-bounded, then T is upper-bounded. A map from S into T is said to be a semilattice morphism from S into T if: (Def. 1) For every finite subset X of S holds it preserves inf of X. Let S, T be semilattices. One can check that every map from S into T which is meet-preserving is also monotone. Let S be a semilattice and let T be an upper-bou...
متن کاملCanonical Extensions and Profinite Completions of Semilattices and Lattices
Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class S∧ of (unital) meet semilattices. Any S ∈ S∧ embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt(S), is a compact and ∨∧ -dense exte...
متن کاملUniformities and covering properties for partial frames (II)
This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...
متن کامل